Constraint Symmetry and Solution Symmetry
نویسندگان
چکیده
Symmetry in constraint satisfaction problems (CSPs) has been considered in two fundamentally different ways: as an operation preserving the solutions of a CSP instance, or as an operation preserving the constraints. To reflect these two views, we define solution symmetry and constraint symmetry. We discuss how these concepts are related and show that some CSP instances have many more solution symmetries than constraint symmetries.
منابع مشابه
Noether Symmetry in f(T) Theory at the anisotropic universe
As it is well known, symmetry plays a crucial role in the theoretical physics. On other hand, the Noether symmetry is a useful procedure to select models motivated at a fundamental level, and to discover the exact solution to the given lagrangian. In this work, Noether symmetry in f(T) theory on a spatially homogeneous and anisotropic Bianchi type I universe is considered. We discuss the Lagran...
متن کاملApplication of the Lie Symmetry Analysis for second-order fractional differential equations
Obtaining analytical or numerical solution of fractional differential equations is one of the troublesome and challenging issue among mathematicians and engineers, specifically in recent years. The purpose of this paper Lie Symmetry method is developed to solve second-order fractional differential equations, based on conformable fractional derivative. Some numerical examples are presented to il...
متن کاملLie symmetry analysis for Kawahara-KdV equations
We introduce a new solution for Kawahara-KdV equations. The Lie group analysis is used to carry out the integration of this equations. The similarity reductions and exact solutions are obtained based on the optimal system method.
متن کاملIncreasing Symmetry Breaking by Preserving Target Symmetries
Breaking the exponential number of all symmetries of a constraint satisfaction problem is too costly. In practice, we often aim at breaking a subset of the symmetries efficiently, which we call target symmetries. In static symmetry breaking, the goal is to post a set of constraints to break these target symmetries in order to reduce the solution set and thus also the search space. Symmetries of...
متن کاملSymmetry within Solutions
We define the concept of an internal symmetry. This is a symmety within a solution of a constraint satisfaction problem. We compare this to solution symmetry, which is a mapping between different solutions of the same problem. We argue that we may be able to exploit both types of symmetry when finding solutions. We illustrate the potential of exploiting internal symmetries on two benchmark doma...
متن کامل